Abstract QS7

QS7 Complete Axiomatizations for Quantum Actions

We present two equivalent axiomatizations for a logic of quantum actions: one in terms of quantum transition systems, and the other in terms of quantum dynamic algebras. The main contribution of the paper is conceptual, offering a new view of quantum structures in terms of their underlying logical dynamics. We also prove Representation Theorems, showing these axiomatizations to be complete with...

abstract

ABSTRACT

Abstract

Abstract

Abstract

Abstract